vector proof